package server;

import java.util.Random;

public class Vegetazione extends Casella {
	
	private int energiaCasella = 100;
	private static final int energiaMinMax = 150;
	private final int energiaMax;

	//@ensures energiaMax>=150 && energiaMax<=350
	public Vegetazione(){
		Random rand = new Random();
		energiaMax = energiaMinMax + rand.nextInt(201);
	}
	
	//@requires x>=4 && x<44 && y>=4 && y<44
	//@ensures energiaCasella>=0 && energiaCasella<energiaMax
	public void aggiornaStato(int x, int y){	// aggiornamento di fine turno
		energiaCasella = energiaCasella + energiaMax/10;
		if (energiaCasella>energiaMax) energiaCasella = energiaMax;
	}
	
	//@ensures energiaCasella==0
	public void aggiornaStato(){	//aggiornamento per dinosauro che mangia
		energiaCasella = 0;
	}
	
	//@ensures energiaCasella>=0 && energiaCasella<energiaMax
	public int getStato(){
		return energiaCasella;
	}
}